projects / gtk4.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c4141a2) | patch
GtkWidget: Add margin-start and margin-end properties
authorYosef Or Boczko <yoseforb@gmail.com>
Mon, 28 Oct 2013 20:56:00 +0000 (22:56 +0200)
committerBenjamin Otte <otte@redhat.com>
Thu, 14 Nov 2013 20:55:50 +0000 (21:55 +0100)
commit9921bec63a3e67e2c2e38ca734590909a9f734b5
treee7f94a0f6af0da9f2ab651a1ec869c9531d3dffdtree | snapshot
parentc4141a211598f9162cf7596dcfa1465b7cc44881commit | diff
GtkWidget: Add margin-start and margin-end properties

Add margin-{start,end} and gtk_widget_{get,set}_margin_{start,end}
and drop margin-{left,right} and gtk_widget_{get,set}_margin_{left,right}.

margin-{start,end} handle right also in RTL.

https://bugzilla.gnome.org/show_bug.cgi?id=710238
docs/reference/gtk/gtk3-sections.txt diff | blob | history
gtk/gtkwidget.c diff | blob | history
gtk/gtkwidget.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.